a00ef40f01a3b3b6ec8ce8316e2741049c74a89a,bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/ExtensionEventHandler.java,ExtensionEventHandler,loadThemes,#IExtension#,167
Before Change
ThemeRegistry registry = (ThemeRegistry) WorkbenchPlugin.getDefault()
.getThemeRegistry();
reader.setRegistry(registry);
IConfigurationElement[] elements = ext.getConfigurationElements();
for (int i = 0; i < elements.length; i++) {
reader.readElement(elements[i]);
}
Collection colors = reader.getColorDefinitions();
After Change
//TODO: confirm
private void loadThemes(IExtension ext) {
ThemeRegistryReader reader = new ThemeRegistryReader();
ThemeRegistry registry = (ThemeRegistry) WorkbenchPlugin.getDefault()
.getThemeRegistry();
reader.setRegistry(registry);
for (IConfigurationElement configElement : ext.getConfigurationElements()) {
reader.readElement(configElement);
}
Collection colors = reader.getColorDefinitions();